On the admissible rules of intuitionistic propositional logic
نویسندگان
چکیده
منابع مشابه
On The Admissible Rules of Intuitionistic Propositional Logic
We present a basis for the admissible rules of intuitionistic proposi-tional logic. Thereby a conjecture by de Jongh and Visser is proved. We also present a proof system for the admissible rules, and give semantic criteria for admissibility.
متن کاملAdmissible and Derivable Rules in Intuitionistic Logic
A well-known problem in intuitionistic logic is the existence of valid but not derivable rules. This problem seems to be related with some constructive features of intuitionism (disjunction and existence property) but appear also in modal logics. We study here a particular case of this phenomenon, admissible rules in propositional calculus. G.E.Mints in [Mi 72] give sufficients conditions for a...
متن کاملAdmissible rules in the implication-negation fragment of intuitionistic logic
Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics). A Kripke semantics characterization is given for the (hereditarily) structurally complete implication–negation fragments of intermediate logics, and it is shown that ...
متن کاملSemantics of intuitionistic propositional logic
Intuitionistic logic is a weakening of classical logic by omitting, most prominently, the principle of excluded middle and the reductio ad absurdum rule. As a consequence, this logic has a wider range of semantical interpretations. The motivating semantics is the so called Brouwer-Heyting-Kolmogorov interpretation of logic. The propositions A,B,C, . . . are regarded as problems or tasks to be s...
متن کاملOn Sequent Calculi for Intuitionistic Propositional Logic
The well-known Dyckoff’s 1992 calculus/procedure for intuitionistic propositional logic is considered and analyzed. It is shown that the calculus is Kripke complete and the procedure in fact works in polynomial space. Then a multi-conclusion intuitionistic calculus is introduced, obtained by adding one new rule to known calculi. A simple proof of Kripke completeness and polynomial-space decidab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2001
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2694922